|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
Script Language for Image Processing
Crlík, Radek ; Španěl, Michal (referee) ; Zemčík, Pavel (advisor)
This bachelor thesis deals with capabilities of scripting languages and their types. Specifically with design of one such language suitable for image processing. The goal was to create a language small enough, but easy to use. One of the requirement was to utilize OpenCV library, for which the resulting code would be as short as possible. First part deals with descriptions of scripting languages, their main philosophy and options of language processing by the computer. Second part contains description of the designed language. Last part documents achieved goals and possible ways how to extend the language even further.
|
|
|
A frequency inverter based on Texas Instruments DSP
Vašíček, Adam ; Macho, Tomáš (referee) ; Valach, Soběslav (advisor)
This bachelor thesis is focused on control algorithms optimization, especially using the Texas Instruments c2000 digital signal controllers family. The first part roughly describes an AC induction motor controlling and regulation techniques. Later on the control software optimization basics are covered. Particular attention is payed for trigonometric functions which are mandatory for such software. Next part shows practical use of the previously described optimization techniques using an example of the scalar frequency inverter control even going down to the assembly instructions level. At the end the results themselves as well as facing the invested price of optimization are discussed.
|
|
|
Build Parallelization in Jenkins Environmnent
Lukášová, Michaela ; Zachariášová, Marcela (referee) ; Dolíhal, Luděk (advisor)
The goal of this bachelor's thesis is parallelization of building Codasip Studio, highly automated developement environment. It focuses on parallelization in Jenkins environment. The implemented solution is mainly focused on speeding up the actual build process. The solution uses a number of Jenkins plugins and several shell scripts, which ensures start of compilation, installation or creation of the final package.
|
|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
From abstract to executable plans
Wiesner, Robert ; Barták, Roman (advisor) ; Švancara, Jiří (referee)
This thesis delves into postprocesing on plans for Multi Agent Path Finding. The intent behind postprocesing is to chang the plans so they can be performed by real robots. Changes include reduction in wasted time and introduction of robustness. This thesis proposes five algorithms (later extended to ten), through which MAPF plans are being transfered to a significantly lower level of abstraction. Results were tested on sixty plans created by MAPF solver MAPF Scenatio over five maps. Some resulting plans were tested in real life on robots Ozobot Evo. Results indicate that significantly lower makespan and greater robustness can be achieved through postprocessing. This study also indicates that various algorithms are more effective for certain types of plans.
|
|
|
Compilation-based Approaches for Automated Planning
Pantůčková, Kristýna ; Barták, Roman (advisor) ; Chrpa, Lukáš (referee)
One of the possible approaches to automated planning is compilation to sat- isfiability or constraint satisfaction. Compilation enables to take advantage of the advancement of SAT or CSP solvers. In this thesis, we implement three of the encodings recently proposed for compilation of planning problems: the model TCPP, the R2 ∃-Step encoding and the Reinforced Encoding. All these approaches search for parallel plans; however, since they use different definitions of parallel step and different variables and constraints, we decided to compare their per- formance on standard benchmarks from international planning competitions. As the R2 ∃-Step encoding was not suitable for our implementation, we present a mod- ified version of this encoding with a reduced number of variables and constraints. We also demonstrate how different definitions of parallel step in the Reinforced Encoding affect the performance. Furthermore, we suggest redundant constraints extending these encodings. Although they did not prove to be beneficial in gen- eral, they could slightly improve the performance on some benchmarks, especially in the R2 ∃-Step encoding.
|
|
|
Interoperability of compiled PHP framework with .NET environment and package management
Horký, Filip ; Husák, Robert (advisor) ; Kofroň, Jan (referee)
PHP language has been dominating the web development industry for a long time now. Each major PHP framework brings together a large community and a solid codebase, providing features and tools that make the PHP web application devel- opment even simpler. Joining this vast world with .NET is an aim of Peachpie, PHP compiler to .NET. This provides means to use Symfony framework in .NET, yielding advantages for both the PHP developers striving for more security and the .NET programmers lacking third-party content. Doing so with plain Peachpie compiler, however, brings problem of actual usability of the features Symfony pro- vides. Each project would require to recompile Symfony Components again and thus result in both time overhead and tedious manual configuration. This thesis shows it is possible to improve this process and enable intuitive usage of Sym- fony framework in the .NET environment. It denotes utilities for semi-automatic compilation of the Symfony Components into the NuGet packages and migration of simple Symfony applications to .NET. Furthermore, it provides tools for ad- ditional interoperability between Twig and Razor template engines, and a set of examples of its actual usage.
|
|
|
Build Parallelization in Jenkins Environmnent
Lukášová, Michaela ; Zachariášová, Marcela (referee) ; Dolíhal, Luděk (advisor)
The goal of this bachelor's thesis is parallelization of building Codasip Studio, highly automated developement environment. It focuses on parallelization in Jenkins environment. The implemented solution is mainly focused on speeding up the actual build process. The solution uses a number of Jenkins plugins and several shell scripts, which ensures start of compilation, installation or creation of the final package.
|
|
|
Script Language for Image Processing
Crlík, Radek ; Španěl, Michal (referee) ; Zemčík, Pavel (advisor)
This bachelor thesis deals with capabilities of scripting languages and their types. Specifically with design of one such language suitable for image processing. The goal was to create a language small enough, but easy to use. One of the requirement was to utilize OpenCV library, for which the resulting code would be as short as possible. First part deals with descriptions of scripting languages, their main philosophy and options of language processing by the computer. Second part contains description of the designed language. Last part documents achieved goals and possible ways how to extend the language even further.
|
guest ::
